TSTP Solution File: ITP254^2 by Nitpick---2016